P, Q:. SqStable(P)  SqStable(Q)  SqStable(P  Q) 

latex

Up	core 2, core 2
Definitions	t  T, P  Q, , x:A. B(x), P  Q, P  Q
Lemmas	sq stable wf, sq stable implies, sq stable and